SPIN model checker - PDFSEARCH.IO - Document Search Engine

SPIN model checker
Results: 28

#	Item
11	NASA developer secures way to the stars - SD Times On The Web Page 1 of 3 As of May 01, :55 AM Add to Reading List Source URL: spinroot.com Language: English - Date: 2009-05-08 19:16:21 Mars Exploration Rover Gerard J. Holzmann NASA personnel Unmanned spacecraft Holzmann Software bug Mars Science Laboratory SPIN model checker Jet Propulsion Laboratory Spaceflight Space technology Spacecraft
12	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming
13	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
14	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
15	Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with: Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2010-01-15 15:41:39 Transaction processing SPIN model checker Myrinet Distributed computing Henri Bal Scalability Computing Model checkers Model checking
16	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
17	Design and Analysis of  DNA Strand Displacement Devices  using Probabilistic Model Checking  Dave Parker  School of Computer Science, University of Birmingham Joint work with: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-15 10:32:21 Statistics Model checking PRISM model checker PAT Formal verification Markov chain Scientific modelling Stochastic SPIN model checker Model checkers Theoretical computer science Applied mathematics
18	Quan%ta%ve Veriﬁca%on: Correctness, Reliability and Beyond Dave Parker University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 17:08:31 Statistics Applied mathematics SPIN model checker Mathematics Markov chain PRISM model checker Algorithm Probability Model checkers Markov models Theoretical computer science
19	Issue in Software Testing with Model Checkers Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-09 10:41:44 Software engineering Software testing Temporal logic SPIN model checker ALGOL 68 Computing Formal methods Model theory Model checkers Programming language theory Model checking
20	Brief Announcement: Model Checking Transactional Memory with Spin John O’Leary Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Computing Data Software transactional memory Linearizability Transactional memory Model checking SPIN model checker Serializability Parallel computing Concurrency control Transaction processing Data management

UPDATE